package entities.axiom;

public abstract class RoleAxiom extends Axiom {
	
	@Override
	public abstract Axiom getPrimeCopy();

	public RoleTransitiveAxiom asRoleTransitiveAxiom(){
		return (RoleTransitiveAxiom) this;
	}

	public RoleInclusionAxiom asRoleInclusionAxiom(){
		return (RoleInclusionAxiom) this;
	}
	
	public RoleInverseAxiom asRoleInverseAxiom(){
		return (RoleInverseAxiom) this;
	}
	
	public FeatureDomainAxiom asFeatureDomainAxiom(){
		return (FeatureDomainAxiom) this;
	}
	
}
